区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

H13钢等离子堆焊Ni60A/Cr3C2覆层的磨损及热疲劳性能

采用等离子堆焊技术在H13钢基体表面上制备了Ni60A/Cr₃C₂堆焊覆层,研究了覆层的磨损行为和热疲劳性能。在600 ℃下销盘试验的结果表明,镍基碳化铬复合覆层的耐磨性是Ni60A堆焊覆层的2.8倍和基材H13钢的11.6倍。镍基覆层可以显著降低H13钢的摩擦因数,加入碳化铬则会削弱覆层的摩擦性能。随着磨损的进行,主要磨损机理从氧化磨损演变为磨粒磨损和粘着磨损。在800 ℃到室温下的热疲劳测试结果表明,镍基碳化铬复合覆层在48个热循环后疲劳裂纹达到200 μm,早于镍基覆层的62次。这说明高温氧化促进热疲劳裂纹的产生。碳化铬增强相从镍基上剥离,导致镍基复合覆层热疲劳性能下降。     

PAN纤维共聚单体作用机理的光电离质谱研究

本工作以丙烯腈/衣康酸（IA）二元共聚原丝以及丙烯腈/IA/丙烯酸甲酯（MA）三元共聚原丝为研究对象，利用热重分析仪（TG）和热解-同步辐射真空紫外光电离质谱（Py-SVUV-PIMS）对其热稳定化过程进行研究。TG结果表明，氮气气氛下，二元共聚原丝（PAN/IA）和三元共聚原丝（PAN/IA/MA）分别呈现三阶段和两阶段的热分解过程，其中PAN/IA的第一和第二阶段均对应PAN线型分子链的断裂，但前者是由自由基环化反应放热引发的，后者则是由正常温度下的热分解所致，而单体MA的加入显著抑制了自由基环化反应，使得PAN原丝的热稳定化能够以单体IA诱导的离子型环化反应为主较平缓地进行，相应的热失重过程也由两阶段转变为了单阶段。Py-SVUV-MS的实验结果表明，两种共聚PAN原丝在程序升温过程中会生成包括含氮小分子、丙烯腈单体及低聚物、成环化合物在内的三类主要热解产物，对比各类产物的生成趋势和产量，推断单体MA通过降低PAN结构的规整度，使其无定形化，从而增加环化反应的引发点，促进PAN原丝向稳定的预氧丝转变，同时由典型热解产物——甲基丙烯腈的生成路径可知，MA本身并不参与PAN大分子的环化反应，属于中性共聚单体。空气气氛下，CO₂的产量差异也间接证明了MA单体能够有效提升PAN纤维的固碳能力，采用三元共聚方法制得的PAN纤维热稳定性能更佳。     

A finite line source simulation model for geothermal systems with series- and parallel-connected boreholes and independent fluid loops

A model for the simulation of geothermal systems with parallel- and series-connected boreholes is presented. Mass and heat balance problems are formulated for each component in the system and are assembled into system-level problems. A third problem is formulated to account for heat transfer in the bore field, using the finite line source solution. This third problem is coupled to the system-level heat balance problem by an analytical solution of the heat transfer inside boreholes with multiple U-tubes. The simulation model allows for any number of independent fluid loops within the bore field or within individual boreholes and allows for combinations of specified inlet fluid temperatures and heat extraction rates in independent fluid loops. The model accounts for the axial variation of the fluid and borehole wall temperatures and heat extraction rates. The capabilities of the model are demonstrated through three example simulations.     

Thermal Management Enables Bright and Stable Perovskite Light-Emitting Diodes

The performance of lead-halide perovskite light-emitting diodes (LEDs) has increased rapidly in recent years. However, most reports feature devices operated at relatively small current densities (<500 mA cm⁻²) with moderate radiance (<400 W sr⁻¹ m⁻²). Here, Joule heating and inefficient thermal dissipation are shown to be major obstacles toward high radiance and long lifetime. Several thermal management strategies are proposed in this work, such as doping charge-transport layers, optimizing device geometry, and attaching heat spreaders and sinks. Combining these strategies, high-performance perovskite LEDs are demonstrated with maximum radiance of 2555 W sr⁻¹ m⁻², peak external quantum efficiency (EQE) of 17%, considerably reduced EQE roll-off (EQE > 10% to current densities as high as 2000 mA cm⁻²), and tenfold increase in operational lifetime (when driven at 100 mA cm⁻²). Furthermore, with proper thermal management, a maximum current density of 2.5 kA cm⁻² and an EQE of ≈1% at 1 kA cm⁻² are shown using electrical pulses, which represents an important milestone toward electrically driven perovskite lasers.     

Pure CuBi2O4 Photoelectrodes with Increased Stability by Rapid Thermal Processing of Bi2O3/CuO Grown by Pulsed Laser Deposition

A new method for enhancing the charge separation and photo‐electrochemical stability of CuBi₂O₄ photoelectrodes by sequentially depositing Bi₂O₃ and CuO layers on fluorine‐doped tin oxide substrates with pulsed laser deposition (PLD), followed by rapid thermal processing (RTP), resulting in phase‐pure, highly crystalline films after 10 min at 650 °C, is reported. Conventional furnace annealing of similar films for 72 h at 500 °C do not result in phase‐pure CuBi₂O₄. The combined PLD and RTP approach allow excellent control of the Bi:Cu stoichiometry and results in photoelectrodes with superior electronic properties compared to photoelectrodes fabricated through spray pyrolysis. The low photocurrents of the CuBi₂O₄ photocathodes fabricated through PLD/RTP in this study are primarily attributed to their low specific surface area, lack of CuO impurities, and limited, slow charge transport in the undoped films. Bare (without protection layers) CuBi₂O₄ photoelectrodes made with PLD/RTP shows a photocurrent decrease of only 26% after 5 h, which represents the highest stability reported to date for this material. The PLD/RTP fabrication approach offers new possibilities of fabricating complex metal oxides photoelectrodes with a high degree of crystallinity and good electronic properties at higher temperatures than the thermal stability of glass‐based transparent conductive substrates would allow.     

A new ternary phase in the system CaO–Al2O3–Cr2O3: Crystal structure and thermal expansion of CaAl2Cr2O7

Polycrystalline material of a novel phase in the system CaO–Al₂O₃–Cr₂O₃ has been obtained by solid-state reactions. Chemical analysis indicated the composition CaAl₂Cr₂O₇. Single-crystal growth of the new compound using borax as a mineralizer was successful. Diffraction experiments at ambient conditions on a crystal with composition CaAl_2.13Cr_1.87O₇ yielded the following basic crystallographic data: space group P 3, a = 7.7690(5) Å, c = 7.6463(5) Å, V = 399.68(6) ų, Z = 3. Structure determination and subsequent least-squares refinements resulted in a residual of R(|F|) = 2.3% for 1440 independent observed reflections and 113 parameters. To the best of our knowledge, the structure of CaAl_2.13Cr_1.87O₇ or CaAl₂Cr₂O₇ represents a new structure type. It belongs to the group of double layer structures where individual double layers contain octahedrally and tetrahedrally coordinated cation positions. Linkage between neighboring sheet packages is provided by additional calcium cations. Furthermore, thermal expansion has been studied in the interval between 29 and 790°C using in situ high-temperature single-crystal diffraction. No indications for a structural phase transition were observed. From the evolution of the lattice parameters the thermal expansion tensor has been obtained. A pronounced anisotropy is evident. The response of structural building units to variable temperature has been discussed.     

Study on Thermal Deformation Measurement of Optical Remote Sensing Satellite Platform Based on Machine Vision

To solve the special requirements of the high orbit optical remote sensing-satellite for the thermal deformation of the platform, the thermal deformation test and measurement scheme of the satellite platform is designed. Through the comparative analysis of test results, the rationality of the thermal deformation design of the platform structure is verified. The results of thermal deformation measurement show that the maximum deformation of A camera mounting surface is 57.5~〃, and the maximum deformation of B camera mounting surface points to 79.3~〃, which can be used as the basis for thermal deformation prediction of satellite during the orbit operation.     

不同发射率下红外热图像的非稳态温度场测量研究

通过分析红外测温公式,研究物体发射率对红外热图像测温精度的影响,并找出影响物体发射率的因素。根据经典计算方法,发现了物体发射率在红外热图像测温应用中的局限。从红外热图像的角度对发射率的计算进行了建模,基于修正物体发射率得到提高红外热图像对非稳态温度场测量精度的模型。对铸铁、不锈钢进行了3组测温实验,红外热图像直接测量的最大误差分别为2.1℃、1.7℃、2.3℃,而所提出的方法测量的最大误差分别为1.0℃、0.7℃、1.6℃。通过对比分析3组测量结果数据验证了测量方法的可行性。     

基于ABAQUS的变截面橡胶密封条热应力与密封性分析

研究用于发动机油气分离器的乙烯丙烯酸酯橡胶密封胶条在不同温度下的强度和密封性能。借助于大型有限元分析软件ABAQUS建立橡胶密封胶条与配合壳体的有限元模型,采用Mooney-Rivlin模型,对不同温度下的密封胶条进行热应力计算分析,得到橡胶密封胶条在不同温度下的Von Mises应力、压缩率、接触应力和接触宽度。结果表明:随着温度的升高,密封胶条的Von Mises应力和密封胶条与壳体连续接触面上的接触应力逐渐增加,接触宽度基本不变,密封条的压缩率逐渐减小;密封胶条的Von Mises应力远小于橡胶材料的拉伸强度,满足强度要求;密封胶条连续接触面上的接触应力始终大于油气分离器的工作压力且接触宽度符合要求,橡胶密封胶条满足密封条件。